Subdirectly Irreducible Quasi-modal Algebras
نویسنده
چکیده
In this paper we give suitable notions of congruences and subdirectly irreducible algebras for the class of quasi-modal algebras introduced in [1]. We also prove some characterizations of subdirectly irreducible algebras following the similar results given by G. Sambin [5] for modal algebras.
منابع مشابه
Duals of subdirectly irreducible modal algebras
We give a characterization of the simple, and of the subdirectly irreducible boolean algebras with operators (including modal algebras), in terms of the dual descriptive frame. These characterizations involve a special binary quasi-reachability relation on the dual structure; we call a point u a quasi-root of the dual structure if every ultrafilter is quasireachable from u. We prove that a bool...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...
متن کاملPseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic
We generalize the notion of a monadic algebra to that of a pseudomonadic algebra. In the same way as monadic algebras serve as algebraic models of epistemic modal system S5, pseudomonadic algebras serve as algebraic models of doxastic modal system KD45. The main results of the paper are: (1) Characterization of subdirectly irreducible and simple pseudomonadic algebras, as well as Tokarz’s prope...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...
متن کاملSubdirectly irreducible separable dynamic algebras
A characterization of the subdirectly irreducible separable dynamic algebras is presented. The notions developed for this study were also suitable to describe the previously found class of the simple separable dynamic algebras.
متن کامل